logique mathématique中文是什么意思

• 数理逻辑

• "logique"中文翻译    音标：[lɔʒ ik] f. 逻辑(学)；逻辑性；推理方式；必然联系，必然结果 a.
• "mathématique"中文翻译    音标：[matematik] a. 数学的 精确的，严密的 [俗]肯定的，毋精置疑的 n.f.
• "proposition (logique mathématique)" 中文翻译 :    句子 (数理逻辑)
• "structure (logique mathématique)" 中文翻译 :    结构 (数理逻辑)
• "démonstration (logique et mathématique)" 中文翻译 :    数学证明
• "constante mathématique" 中文翻译 :    数学常数
• "homologie mathématique" 中文翻译 :    同源同调
• "homonymie mathématique" 中文翻译 :    数学消歧义
• "humour mathématique" 中文翻译 :    数学笑话
• "instrument mathématique" 中文翻译 :    数学工具
• "jeu mathématique" 中文翻译 :    jeu mathématique; 数学遊戏
• "mathématique" 中文翻译 :    音标：[matematik]a. 数学的精确的，严密的[俗]肯定的，毋精置疑的n.f. 数学(多用pl.)数学班：～s élémentaires(为准备法国中学毕业考试所设的)初等数学班(俗称缩写为math élém ～s spéciales (为投考法国理工学院所设的)专业数学班(俗称缩写为math spé [matspe]mathématiqueadj.数学的mathématique(s) abstraites抽象数学mathématique(s) ambiguës模糊数学mathématique(s) appliquées应用数学mathématique(s) des calculs计算数学mathématique(s) géné通用数学mathématique(s) générales通用数学mathématique(s) modernes近代数学mathématique(s) propositionnelles命题数学mathématique(s) pures纯数学mathématique(s) spé专业数学mathématique(s) spéciales专业数学mathématique(s) sup高等数学mathématique(s) supérieures高等数学mathématique(s) à virgule fixe定点数学mathématique(s) à virgule flottante浮点数学mathématique(s) élem初等数学mathématique(s) élémentaires / 初等数学近义词cartésien, géométrique, logique, rigoureux, automatique, certain, forcé, immanquable, inévitable, sûr
• "morphologie mathématique" 中文翻译 :    数学形态学
• "notation mathématique" 中文翻译 :    数学符号
• "physico-mathématique" 中文翻译 :    音标：[fizikomatematik](复数~s) a. 数学物理的
• "physique mathématique" 中文翻译 :    physique mathématique; 数学物理
• "programmation mathématique" 中文翻译 :    参数规划二次规划递推规划方法动态规划最优化非线性规划数学规划总体规划
• "psychologie mathématique" 中文翻译 :    数学心理学
• "statistique mathématique" 中文翻译 :    数理统计学
• "beauté mathématique" 中文翻译 :    数学之美
• "identité mathématique" 中文翻译 :    数学恒等式
• "olympiade mathématique belge" 中文翻译 :    比利时数学奧林匹克
• "union mathématique africaine" 中文翻译 :    非洲数学联合会
• "union mathématique internationale" 中文翻译 :    国际数学联合会国际数学联盟
• "union mathématique italienne" 中文翻译 :    意大利数学联合会

• Wittgenstein a utilisé la logique mathématique.
  实际上，维特根斯坦运用了数学逻辑
• En logique mathématique, un littéral est un atome (aussi appelé littéral positif) ou la négation d'un atome (aussi appelé littéral négatif).
  在数理逻辑中，文字(literal)是一个原子公式(atom)或它的否定。
• Il était un élève de Luitzen Egbertus Jan Brouwer à l'université d'Amsterdam, et a beaucoup contribué à ce que la logique intuitionniste fasse partie de la logique mathématique.
  他是鲁伊茲·布劳威尔在阿姆斯特丹大学的学生之一，他做了很多工作来使直觉主义逻辑立足於成为数理逻辑一部分。
• En logique mathématique, l'interprétation de Brouwer-Heyting-Kolmogorov, ou interprétation BHK, de la logique intuitionniste a été proposée par L. E. J. Brouwer, Arend Heyting et indépendamment par Andreï Kolmogorov.
  在数理逻辑中，直觉主义逻辑的布劳威尔-海廷-柯尔莫哥洛夫释义（Brouwer–Heyting–Kolmogorov interpretation）或BHK释义是由鲁伊茲·布劳威尔、阿兰德·海廷和独立的由安德雷·柯尔莫哥洛夫提出的。